package ar.edu.utn.frsf.cidisi.upcolbpip2pn.generator.petrinet;

public class GlobboxDefinition
{
  protected static String nl;
  public static synchronized GlobboxDefinition create(String lineSeparator)
  {
    nl = lineSeparator;
    GlobboxDefinition result = new GlobboxDefinition();
    nl = null;
    return result;
  }

  public final String NL = nl == null ? (System.getProperties().getProperty("line.separator")) : nl;
  protected final String TEXT_1 = "    <globbox>" + NL + "      <block id=\"ID1\">" + NL + "        <id>Standard declarations</id>" + NL + "        <color id=\"ID2\">" + NL + "          <id>E</id>" + NL + "          <enum>" + NL + "            <id>e</id>" + NL + "          </enum>" + NL + "        </color>" + NL + "        <color id=\"ID3\">" + NL + "          <id>INT</id>" + NL + "          <int/>" + NL + "          <layout>colset INT = int;</layout>" + NL + "        </color>" + NL + "        <color id=\"ID4\">" + NL + "          <id>BOOL</id>" + NL + "          <bool/>" + NL + "        </color>" + NL + "        <color id=\"ID5\">" + NL + "          <id>STRING</id>" + NL + "          <string/>" + NL + "        </color>" + NL + "      </block>" + NL + "      <color id=\"ID6153403\">" + NL + "        <id>MSG</id>" + NL + "        <int/>" + NL + "        <layout>colset MSG = int;</layout>" + NL + "      </color>" + NL + "      <var id=\"ID6153308\">" + NL + "        <type>" + NL + "          <id>MSG</id>" + NL + "        </type>" + NL + "        <id>m</id>" + NL + "        <layout>var m: MSG;</layout>" + NL + "      </var>" + NL + "      <var id=\"ID1743977\">" + NL + "        <type>" + NL + "          <id>INT</id>" + NL + "        </type>" + NL + "        <id>ctrl</id>" + NL + "        <layout>var ctrl: INT;</layout>" + NL + "      </var>" + NL + "    </globbox>  ";

  public String generate(Object argument)
  {
    final StringBuffer stringBuffer = new StringBuffer();
    stringBuffer.append(TEXT_1);
    return stringBuffer.toString();
  }
}
